Голубева О. И. «Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы» // Вестник ТГУ. УВТиИ. 2015. №1(30) C.77-86
Останин С. А. , Бухаров А. В. , Матросова А. Ю. , Кириенко И. Е. «Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом» // Вестник ТГУ. УВТиИ. 2014. №2(27) C.82-89
Савенкова М. М. , Матросова А. Ю. «Проверка эквивалентности частично построенных комбинационных схем» // Вестник ТГУ. УВТиИ 2025. №71 C.130-139